Betti Venneri: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Towards Object-Oriented Klaim

Lorenzo Bettini, Viviana Bono, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 167 KB

english, 2002

2

A typed lambda calculus with intersection types

Viviana Bono, Betti Venneri, Lorenzo Bettini

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 420 KB

english, 2008

3

Data-driven adaptation for smart sessions

Bono, Viviana, Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 920 KB

english, 2017

4

Types for access control

Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Betti Venneri

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 265 KB

english, 2000

5

The "Relevance" of Intersection and Union Types

Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Venneri, Betti

Journal:

Notre Dame Journal of Formal Logic

Year:

1997

Language:

english

File:

PDF, 185 KB

english, 1997

6

Extending Java to dynamic object behaviors

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 220 KB

english, 2003

7

The "Relevance" of Intersection and Union Types

Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Venneri, Betti

Journal:

Notre Dame Journal of Formal Logic

Year:

1997

File:

PDF, 185 KB

1997

8

[IEEE 2014 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Torino, Italy (2014.02.12-2014.02.14)] 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - Self-Adaptive Monitors for Multiparty Sessions

Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

Year:

2014

Language:

english

File:

PDF, 219 KB

english, 2014

9

Translating Double Dispatch into Single Dispatch

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 307 KB

english, 2005

10

Featherweight Java with dynamic and static overloading

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Science of Computer Programming

Year:

2009

Language:

english

File:

PDF, 1.30 MB

english, 2009

11

Hyperformulae, Parallel Deductions and Intersection Types

Beatrice Capitani, Michele Loreti, Betti Venneri

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 324 KB

english, 2001

12

[ACM Press the 5th international symposium - Lisboa, Portugal (2007.09.05-2007.09.07)] Proceedings of the 5th international symposium on Principles and practice of programming in Java - PPPJ '07 - Featherweight Java with multi-methods

Bettini, Lorenzo, Capecchi, Sara, Venneri, Betti

Year:

2007

Language:

english

File:

PDF, 406 KB

english, 2007

13

Deriving session and union types for objects

BETTINI, LORENZO, CAPECCHI, SARA, DEZANI-CIANCAGLINI, MARIANGIOLA, GIACHINO, ELENA, VENNERI, BETTI

Journal:

Mathematical Structures in Computer Science

Year:

2013

Language:

english

File:

PDF, 575 KB

english, 2013

14

Self-adaptive multiparty sessions

Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

Journal:

Service Oriented Computing and Applications

Year:

2015

Language:

english

File:

PDF, 356 KB

english, 2015

15

Delegation by object composition

Lorenzo Bettini, Viviana Bono, Betti Venneri

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 420 KB

english, 2011

16

Double dispatch in C++

Lorenzo Bettini, Sara Capecchi, Betti Venneri

Journal:

Software: Practice and Experience

Year:

2006

Language:

english

File:

PDF, 312 KB

english, 2006

17

Dynamic overloading with copy semantics in object-oriented languages: a formal account

Bettini, Lorenzo, Capecchi, Sara, Venneri, Betti

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2009

Language:

english

File:

PDF, 502 KB

english, 2009

18

MOMI: a calculus for mobile mixins

Lorenzo Bettini, Betti Venneri, Viviana Bono

Journal:

Acta Informatica

Year:

2005

Language:

english

File:

PDF, 1.24 MB

english, 2005

19

[ACM Press the 9th International Conference - Kongens Lyngby, Denmark (2011.08.24-2011.08.26)] Proceedings of the 9th International Conference on Principles and Practice of Programming in Java - PPPJ '11 - Object reuse and behavior adaptation in Java-like languages

Bettini, Lorenzo, Venneri, Betti

Year:

2011

Language:

english

File:

PDF, 357 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски